21![Redundant State Detection for Dynamic Symbolic Execution Suhabe Bugrara Stanford University Dawson Engler Stanford University Redundant State Detection for Dynamic Symbolic Execution Suhabe Bugrara Stanford University Dawson Engler Stanford University](https://www.pdfsearch.io/img/7940982e66a407a6420f7108a6599e68.jpg) | Add to Reading ListSource URL: nsl.cs.columbia.edu- Date: 2014-12-07 19:02:19
|
---|
22![SymCerts: Practical Symbolic Execution For Exposing Noncompliance in X.509 Certificate Validation Implementations Sze Yiu Chau∗ Omar Chowdhury† Endadul Hoque∗ Huangyi Ge∗ Aniket Kate∗ Cristina Nita-Rotaru‡ Ni SymCerts: Practical Symbolic Execution For Exposing Noncompliance in X.509 Certificate Validation Implementations Sze Yiu Chau∗ Omar Chowdhury† Endadul Hoque∗ Huangyi Ge∗ Aniket Kate∗ Cristina Nita-Rotaru‡ Ni](https://www.pdfsearch.io/img/9a3ac0a1c65fc2b8fdc4099f5b6053e5.jpg) | Add to Reading ListSource URL: www.ieee-security.org- Date: 2017-04-03 16:02:16
|
---|
23![Efficient State Merging in Symbolic Execution Volodymyr Kuznetsov Johannes Kinder Stefan Bucur Efficient State Merging in Symbolic Execution Volodymyr Kuznetsov Johannes Kinder Stefan Bucur](https://www.pdfsearch.io/img/2c7f4efde7c602b93caf3bebc13be112.jpg) | Add to Reading ListSource URL: dslab.epfl.ch- Date: 2016-12-02 10:07:53
|
---|
24![Targeted Program Transformations for Symbolic Execution Cristian Cadar Imperial College London Targeted Program Transformations for Symbolic Execution Cristian Cadar Imperial College London](https://www.pdfsearch.io/img/935195b6644ca109eb773bca8669e8a0.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.uk- Date: 2016-12-06 14:12:25
|
---|
25![Multi-solver Support in Symbolic Execution Hristina Palikareva and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {h.palikareva, c.cadar}@imperial.ac.uk Multi-solver Support in Symbolic Execution Hristina Palikareva and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {h.palikareva, c.cadar}@imperial.ac.uk](https://www.pdfsearch.io/img/58f64211a85d43f7734d6446fa6b373f.jpg) | Add to Reading ListSource URL: srg.doc.ic.ac.uk- Date: 2013-05-01 10:35:53
|
---|
26![Symbolic Execution Joe Hendrix Galois, Inc SMT Summer School 2015 | galois | Symbolic Execution Joe Hendrix Galois, Inc SMT Summer School 2015 | galois |](https://www.pdfsearch.io/img/409ff5276d688020d79074da925f5574.jpg) | Add to Reading ListSource URL: www.cs.nyu.edu- Date: 2015-07-17 18:21:51
|
---|
27![Symbooglix: A Symbolic Execution Engine for Boogie Programs Daniel Liew Cristian Cadar Alastair F. Donaldson Imperial College London United Kingdom {daniel.liew, c.cadar, alastair.donaldson}@imperial.ac.uk Symbooglix: A Symbolic Execution Engine for Boogie Programs Daniel Liew Cristian Cadar Alastair F. Donaldson Imperial College London United Kingdom {daniel.liew, c.cadar, alastair.donaldson}@imperial.ac.uk](https://www.pdfsearch.io/img/ecdad3cae25739dfbef1fea829793124.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.uk- Date: 2016-02-07 18:26:53
|
---|
28![make test-zesti: A Symbolic Execution Solution for Improving Regression Testing Paul Dan Marinescu and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {p.marinescu, c.cadar}@imperia make test-zesti: A Symbolic Execution Solution for Improving Regression Testing Paul Dan Marinescu and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {p.marinescu, c.cadar}@imperia](https://www.pdfsearch.io/img/43bfcf17e268fc412d7a4f4989c01ef4.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.uk- Date: 2016-03-08 07:04:45
|
---|
29![Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-based Instance, and Actor-based Concurrency Elvira Albert Complutense University of Madrid Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-based Instance, and Actor-based Concurrency Elvira Albert Complutense University of Madrid](https://www.pdfsearch.io/img/cffada938180edda1f30fe3474d8c7e6.jpg) | Add to Reading ListSource URL: www.sti.uniurb.it- Date: 2014-06-19 19:17:27
|
---|